#ifndef __DEBUG_H__
#define __DEBUG_H__

void print_backtrace(uint32_t ebp, uint32_t eip);

#endif
